Practical Improvements to the Construction and Destruction of Static Single Assignment Form
نویسندگان
چکیده
preston briggs, keith d. cooper, timothy j. harvey and l. taylor simpson Tera Computer Company, 2815 Eastlake Ave. East, Seattle, WA 98102, USA (email: prestonKtera.com) Department of Computer Science, Rice University, 6100 S. Main MS 132, Houston, TX 77005, USA (email: keith,harvKrice.edu) Trilogy Development Group, 6034 W. Courtyard Dr., Austin, TX 78730, USA (email: Taylor SimpsonKtriology.com)
منابع مشابه
Construction of Thinned Gated Single-Assignment Form
Analysis of symbolic expressions beneets from a suitable program representation. We show how to build thinned gated single-assignment (TGSA) form, a value-oriented program representation which is more complete than standard SSA form, deened on all reducible programs , and better for representing symbolic expressions than program dependence graphs or original GSA form. We present practical algor...
متن کامل-SSA and its Construction through Symbolic Interpretation
In this paper, we propose a new variant of SSA called-SSA and discuss its construction through symbolic interpretation of programs. By relaxing a condition of SSA form without violating the fundamental nature of static single assignment,-SSA form results in a representation which uses fewer join functions than the minimal SSA form. A graph representation called Value Flow Graph (VFG) is used to...
متن کاملDeveloping a fuzzy group decision making approach for project manager selection considering the static complexity of construction projects
Due to the particular importance of projects in human life and in organizations, proper project management has been always regarded highly by researchers and practitioners. Recent advances in technology and fundamental changes in most scientific areas have affected projects and made their nature and environmental circumstances much more complex than in the past. Fortunately, in recent years, ma...
متن کاملContour Crafting Process Plan Optimization Part I: Single-Nozzle Case
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کاملMinimal Static Single Assignment Form
This formalization is an extension to [3]. In their work, the authors have shown that Braun et al.’s static single assignment (SSA) construction algorithm [1] produces minimal SSA form for input programs with a reducible control flow graph (CFG). However Braun et al. also proposed an extension to their algorithm that they claim produces minimal SSA form even for irreducible CFGs. In this formal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw., Pract. Exper.
دوره 28 شماره
صفحات -
تاریخ انتشار 1998